Buy Used and New Markus Wenzel Books

Isabelle/HOL: A Proof Assistant for Higher-Order Logic: 2283 (Lecture Notes in Computer Science, 2283)

by Tobias Nipkow,Lawrence C. Paulson,Markus Wenzel

ISBN 13: 9783540433767

Format: Illustrated (240 pages)
Publisher: Springer
Published: 03 Apr 2002

Save for later

Der Weg in die Cloud: Ein Leitfaden für Unternehmer und Entscheider (essentials)

by Dominic Lindner,Paul Niebler,Markus Wenzel

ISBN 13: 9783658291006

Format: Paperback (60 pages)
Publisher: Springer Gabler
Published: 20 Mar 2020

Save for later